How to Use Claude Code Subagents to Parallelize Development
zachwills.net·12h·
Discuss: Hacker News
⚡Process Calculi
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·12h·
Discuss: r/programming
💎Refinement Types
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·20h·
Discuss: r/programming
👁️System Observability
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·10h
🔄Reproducible Builds
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·4h·
Discuss: Hacker News
⚙️PL Implementation
Billion-Line Days Demand Billion-Test Nights
momentic.ai·11h·
Discuss: Hacker News
🔄Reproducible Builds
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·1d·
Discuss: Hacker News
🔬Static Analysis
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org·1d
🧠Automated Reasoning
IO is special
blog.ploeh.dk·1d·
Discuss: Lobsters
💎Refinement Types
Deliberate Abstraction
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚙️Operating System Design
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
Using Linters to Direct Agents
factory.ai·8h·
Discuss: Hacker News
🔄Reproducible Builds
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
The Android Linux Commander
hackaday.com·9h
🐳Containerization
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·6h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·4h·
Discuss: Hacker News
⚙️PL Implementation
An Introduction to XForms
xml.com·12h·
Discuss: Hacker News
⚙️PL Implementation